Algorithm engineering - PDFSEARCH.IO - Document Search Engine

Algorithm engineering
Results: 1680

#	Item
61	IT Linux Network Security Specialist - DL1203 Technology Service Corporation (TSC), an Engineering Services Provider with concentration providing Radar & Sensor technology, Algorithm & Software development, Modeling & Si Add to Reading List Source URL: www.tsc.com Language: English - Date: 2015-10-14 13:33:57 Security Computer security Prevention Crime prevention Cryptography Information governance National security CompTIA Information technology specialist Information security EMASS Information assurance
62	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
63	Electronic Companion A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST and Columbia University Add to Reading List Source URL: www.rmi.nus.edu.sg Language: English - Date: 2013-06-18 07:37:50 Measure theory Formal languages Symbol Sigma-algebra
64	CSE 584A Class 21 Jeremy Buhler April 11, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-04-11 07:29:21 Computational phylogenetics Bioinformatics Biology Tree alignment BLAST SmithWaterman algorithm Multiple sequence alignment NeedlemanWunsch algorithm
65	CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Fault-tolerant computer systems Computing Distributed algorithms Computer programming Inter-process communication Paxos Consensus Software engineering Haskell features Algorithm Futures and promises
66	Aegis Test and Evaluation Engineer Technology Service Corporation (TSC), an Engineering Services Provider with concentration providing Radar & Sensor technology, Algorithm & Software development, Modeling & Simulation, T Add to Reading List Source URL: www.tsc.com Language: English - Date: 2015-11-18 13:00:25 Naval warfare Aegis Combat System Anti-submarine warfare Missile defense Education Academia Aegis United States Navy Systems engineering Test Modeling and simulation
67	The Price of Optimum in Stackelberg Games on Arbitrary Single Commodity Networks and Latency Functions A.C. Kaporis∗ Department of Computer Engineering and Informatics, University of Patras University Campus, Building Add to Reading List Source URL: students.ceid.upatras.gr Language: English - Date: 2008-12-11 12:57:59 Mathematics Game theory Price of anarchy Stackelberg competition Academia Shortest path problem Futures and promises Algorithm Nash equilibrium
68	Linear Dynamic Programming and the Training of Sequence Estimators Christopher Raphael? and Eric Nichols?? Abstract We consider the problem of finding an optimal path through a trellis graph when the arc costs are linear Add to Reading List Source URL: music.informatics.indiana.edu Language: English - Date: 2010-06-29 17:34:24 Statistics Statistical theory Systems science Mathematical optimization Estimation theory Markov models Dynamic programming Equations Systems engineering Loss function Maximum likelihood estimation Viterbi algorithm
69	FROM COMPUTER CARTOGRAPHYTO SPATIAL VISUALIZATION: A NEW CARTOGRAM ALGORITHM BIBLIOGRAPHIC SKETCH Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:10:21 Software engineering Computer programming Cartogram Diagrams Computing Pointer Stack Recursion
70	Scalable Flow-Based Community Detection for Large-Scale Network Analysis Seung-Hee Bae∗ , Daniel Halperin∗ , Jevin West† , Martin Rosvall‡ and Bill Howe∗ ∗ Department of Computer Science and Engineering, Uni Add to Reading List Source URL: www.jevinwest.org Language: English - Date: 2015-11-11 00:05:03 Mathematics Computational complexity theory NP-complete problems Algorithm Mathematical logic Theoretical computer science Graph partition Community structure Connectivity

UPDATE